El Sunset limited

Completion-based computation of least common subsumers with limited role-depth for EL and Prob-EL

The least common subsumer (lcs) w.r.t general EL-TBoxes does not need to exists in general due to cyclic axioms. In this report we present an algorithm for computing role-depth bounded EL-lcs based on the completion algorithm for EL. We extend this computation algorithm to a recently introduced probabilistic variant of EL: Prob-EL.

Completion-based computation of most specific concepts with limited role-depth for EL and Prob-EL

In Description Logics the reasoning service most specific concept (msc) constructs a concept description that generalizes an ABox individual into a concept description. For the Description Logic EL the msc may not exist, if computed with respect to general EL-TBoxes or cyclic ABoxes. However, it is still possible to find a concept description that is the msc up to a fixed role-depth, i.e. with ...

An Eclipse before Sunset

Mountain Village at Sunset.

During my travels to numerous countries over 40 years, I have seen many picturesque mountain villages with elegant and well-preserved houses perched on carefully selected sites on the mountains, and others located by a river or lake at the foot of a mountain. They appear remarkably harmonious with the natural scenery. Fruit trees or tea trees and crops such as rice, wheat, and corn are planted ...

Sunset for statins after AURORA?